1
Cơ sở logic: Các sự thật so sánh số thực và suy luận tính chất bất đẳng thức
MATH1001CA-PEP-CNLesson 2
00:00
ab > 0 ⇔ a > bba
So sánh kích thước của các số thực là nền tảng của toàn bộ logic toán học. Trên trục số, mỗi số thực tương ứng với một điểm duy nhất. Bằng cách quan sát vị trí của điểm, chúng ta có thể trực giác cảm nhận được "bất đẳng thức".

Sự thật cơ bản:
  • Nếu $a-b$ là số dương, thì $a > b$;
  • Nếu $a-b$ bằng 0, thì $a = b$;
  • Nếu $a-b$ là số âm, thì $a < b$.
0 là điểm phân cách giữa số dương và số âm, nó cung cấp một "chuẩn mực" để so sánh kích thước của các số thực. Sử dụng phương pháp lấy hiệu, chúng ta có thể chuyển đổi việc so sánh kích thước của các biểu thức đại số phức tạp thành việc xác định dấu của hiệu số, đây là phương pháp cơ bản nhất để chứng minh bất đẳng thức.
Tính chất cốt lõi của bất đẳng thức:
1. Tính bắc cầu: $a > b, b > c \Rightarrow a > c$
2. Tính cộng: $a > b \iff a + c > b + c$
3. Tính nhân: $c > 0 \Rightarrow ac > bc$; $c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$